root normal form
root normal form
in Technology
(RNF)
Head Normal Form
in graph rewriting.